Synthesis design logic and the SYNGEN (synthesis generation) program
نویسندگان
چکیده
منابع مشابه
Systematic Synthesis Design: the SYNGEN Program
The aim of this presentation is to show that the design of organic synthesis routes can be systematized and yield reasonable results if: a logical, rigorous and digital schema is used to generalize organic structures and reactions; and a clear and stringent criterion is applied to severely restrict the output.
متن کاملLogic Program Synthesis
> This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a speciication, how do we get a logic program satisfying the speciication? Logic programming provides a uniquely nice and uniform framework for program synthesis since the speciication, the synthesis process and...
متن کاملDesign Synthesis and Shape Generation
Today’s computer aided design systems are based on underlying technologies developed over 20 years ago. Although they have become a key part of the design process, and are ubiquitous in industrial product development processes, they usually come into play after the shape of the design has been created. In essence, today’s CAD systems are used to support design evaluation and analysis, and downs...
متن کاملLogic Program Synthesis from Incomplete Specifications
Program synthesis research aims at maximally automating the passage from specifications to programs (see the survey by Biermann, 1992). We define possible formalisms for the starting points (specifications: see Section 1.1) and results (programs: see Section 1.2) of synthesis, and state existing approaches and related work, before pinning down the objectives (Section 1.3) of this paper. Some fa...
متن کاملInductive Logic Program Synthesis with DIALOGS
DIALOGS (Dialog-based Inductive and Abductive LOGic program Synthesizer) is a schema-guided synthesizer of recursive logic programs; it takes the initiative and minimally queries a (possibly computationally naive) specifier for evidence in her/his conceptual language. The specifier must know the answers to such simple queries, because otherwise s/he wouldn’t even feel the need for the synthesiz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pure and Applied Chemistry
سال: 1988
ISSN: 1365-3075,0033-4545
DOI: 10.1351/pac198860111563